Towards Structuring the Constraint Store
نویسندگان
چکیده
We present in this paper a method allowing to structure a constraint store by modifying the constraint granularity. This allows to inspect the store, which is according to us a key-point in debugging and profiling CLP programs. The method relies on properties of constraint narrowing operators and of the propagation algorithm. A theoretical framework is given, along with an example showing a use of the method.
منابع مشابه
Systematic Structuring of the Business Domain of Local Mobile Apps Stores Using Soft Systems Methodology (SSM)
Due to the global competitive environment in the mobile app market, traditional problem-solving methods in examining the problem of accepting stores offering these digital products have ignored the important role of human factors and therefore this weakness necessitates research on relevant policies by governing bodies from another perspective based on a soft systems thinking approach. This pro...
متن کاملA Node-based Mathematical Model towards the Location Routing Problem with Intermediate Replenishment Facilities under Capacity Constraint
In this paper, we study the location routing problem with replenishment facilities (LRPRF), an extension of the location routing problem (LRP) where the vehicles can replenish at some replenishment facilities. Vehicles leave the depot with load on-board, serve customers until out of load, and then either return to a replenishment facility to reload or return to the depot, completing their route...
متن کاملTowards a Generic Interface to Integrate CLP and Tabled Execution (Extended Abstract)
Logic programming systems featuring Constraint Logic Programming (Jaffar and Ma-her 1994) and tabled execution (Tamaki and Sato 1986; Warren 1992) have been shown to increase the declarativeness and efficiency of Prolog, while at the same time making it possible to write very expressive programs. Previous implementations fully integrating both capabilities (i.e., forcing suspension, answer subs...
متن کاملConceptual Metaphoric Language Use in Structuring Political Discourse in Iran-West Relations: A CDA Perspective
The present study was carried out with the purpose of examining the role of metaphorical language in the critical discourse analysis (CDA) of political texts based on a modern framework postulated by Kövecses (2015). The corpus of the study consisted of thirty-thousand words chosen as a textual sample to see which source conceptual domains are used and what generic/discursive attributes emerge ...
متن کاملTeachers’ Limited Wait-Time Practice and Learners’ Participation opportunities in EFL Classroom Interaction
Pairing theory with methodology, this study demonstrates how EFL teachers’ limited wait-time practice structures in and affects the structuring of the unfolding classroom discourse with reference to learners’ participation opportunities. Informed by the tenets of conversation analysis, we have observed, videotaped, and transcribed line-by-line 10 EFL teachers’ naturally-occurring classroom inte...
متن کامل